appDisplay: Reduce page switch time to 250ms

Be consistent with workspace switching.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/825

diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 95976efae3aa2f1454758a3dda2ad914e66c47cd..05d0ab3a4a8d01bd388e2f4ae6c7bc2514928fe8 100644 (file)
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -35,7 +35,7 @@ var MIN_FREQUENT_APPS_COUNT = 3;
 var VIEWS_SWITCH_TIME = 400;
 var VIEWS_SWITCH_ANIMATION_DELAY = 100;
 
-var PAGE_SWITCH_TIME = 300;
+var PAGE_SWITCH_TIME = 250;
 
 var APP_ICON_SCALE_IN_TIME = 500;
 var APP_ICON_SCALE_IN_DELAY = 700;